Заикин О. С. , Отпущенников И. В. , Семёнов А. А. «Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости» // Прикладная дискретная математика. Приложение 2016. №9 C.46-48
Отпущенников И. В. , Заикин О. С. , Семёнов А. А. «Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры» // Прикладная дискретная математика. Приложение 2018. №11 C.76-79
Семёнов А. А. «Атаки из класса «угадывай и определяй» и автоматические способы их построения» // Прикладная дискретная математика. Приложение 2018. №11 C.81-86
Рыбалов А. Н. «О генерической NP-полноте проблемы выполнимости булевых схем» // Прикладная дискретная математика 2020. №47 C.101-107
Рыбалов А. Н. «О генерической NP-полноте проблемы выполнимости булевых формул» // Прикладная дискретная математика 2017. №36 C.106-112
Грибанова И. А. «Применение алгоритмов решения проблемы булевой выполнимости к построению разностных путей в задачах поиска коллизий криптографических хеш-функций семейства MD» // Прикладная дискретная математика. Приложение 2016. №9 C.129-132
Заикин О. С. , Семёнов А. А. , Кочемазов С. Е. , Отпущенников И. В. , Богачкова И. А. «Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD» // Прикладная дискретная математика. Приложение 2015. №8 C.139-142